СМИРНОВ Владимир Александрович

СМИРНОВ Владимир Александрович
(2.03.1931, Москва -12.02.1996, Москва)
   логик и философ, д-р философских наук, проф. Окончил философский ф-т МГУ (1954) и аспирантуру того же ф-та по кафедре логики (1957). С 1961 г. - в Ин-те философии АН СССР (РАН), с 1988 г. - руководитель логического центра этого ин-та, а с 1992 г. - зав. отд. эпистемологии, логики и философии науки и техники. В 1991 г. организовал Общественный ин-т логики, когнитологии и развития личности, директором к-рого являлся до конца жизни. Докторскую диссертацию защитил в 1973 г. по кн. "Формальный вывод и логические исчисления" (1972). Основатель ежегодника "Логические исследования" и его главный редактор. С. был получен ряд значительных результатов в различных областях логики. Разработаны системы секвенциального и натурального вывода с е-терминами, оказавшимися удобным аппаратом для алгоритмизации процедур поиска доказательства теорем. Эти исследования привели его к работам в области создания компьютерных систем поддержки поиска доказательств. Построен целый спектр временных, модально-временных, релевантных и паранепротиворечивых логик. Особо следует отметить пионерские работы С. в исследовании логик без правил сокращения и в области двухмерных и многомерных логик. В последнем случае рассматриваются атомные предложения различных типов. Он впервые поставил и начал исследовать проблему классификации логических исчислений, и в частности классификации импликативных логик. С. привлек внимание к работам Н. А. Васильева и осуществил логическую реконструкцию его идей. Им был получен ряд важных результатов в области силлогистики. В области философии и методологии науки С. уделял большое внимание анализу научных теорий: способам их построения (в частности, генетическому методу), исследованию их логической структуры, отношениям между ними, способам введения терминов в состав теорий и т. д. На основе результатов, полученных им в теории определимости, он ввел в научный оборот несколько новых понятий об отношениях между теориями (дефинициальная погружаемость, дефинициальная эквивалентность, рекурсивная переводимость и др.), позволивших сравнивать теории с разной категориальной структурой.
   С о ч.: Генетический метод построения научных теорий // Философские проблемы современной формальной логики. М., 1962; Формальный вывод и логические исчисления. М., 1972; Логические методы анализа научного знания. М., 1987; Доказательство и его поиск (монография) // Логика и компьютер. М, 1996. Вып. 3 (в соавт.); Уровни знания и этапы процесса познания // Проблемы логики научного познания. М., 1964; Логические идеи Н. А. Васильева // Труды по истории логики в России. М., 1962; Теория логического вывода. М., 1999 (имеется полная библиография работ В. А. Смирнова).
   Л и т.: Анисов А. М. Концепция научной философии В. А. Смирнова // Философия науки. М., 1996. Вып. 2; Бочаров В. А. Вклад В. А. Смирнова в развитие философской логики // Логическое кантоведение-4. Калининград, 1984; Карпенко А. С. Некоторые логические идеи В. А. Смирнова // Вопросы философии. 1997. № 2; Михайлов Ф. Т. Почти полвека длился спор // Там же; Финн В. К. Владимир Смирнов: вехи творческой биографии // Там же; Результаты В. А. Смирнова в области современной формальной логики // Логические исследования. М., 1997. Вып. 4; Karpenko A. S. Note on the Smirnov's scientific activity: work and life (1931–1996) // Bulletin of Section of Logic. 1998. V. 27. № 1-27; Philosophical logic and Logical philosophy. Essays in Honour of Vladimir A. Smirnov. Dordrect, 1996.
   А. С. Карпенко

Русская Философия. Энциклопедия. . 2015.

Нужен реферат?

Полезное


Смотреть что такое "СМИРНОВ Владимир Александрович" в других словарях:

  • Смирнов, Владимир Александрович — В Википедии есть статьи о других людях с такой фамилией, см. Смирнов. В Википедии есть статьи о других людях с такими же именем и фамилией: Смирнов, Владимир. Владимир Александрович Смирнов: Смирнов, Владимир Александрович (род. 1948)… …   Википедия

  • Смирнов, Владимир Александрович — (02.03.1931 12.02.1996) спец. по символической логике, когнитологии, методол. науки; д р филос. наук, проф. Род. в Москве. Окончил филос. ф т МГУ (1954), асп. того же ф та по кафедре логики (1957). В 1957 1961 работал ст. преп. кафедры филос.… …   Большая биографическая энциклопедия

  • Смирнов, Владимир Александрович (астроном) — В Википедии есть статьи о других людях с именем Смирнов, Владимир Александрович. Владимир Александрович Смирнов (5 апреля 1936(19360405) года, Одесса)  преподаватель физики, советский, российский и украинский астроном, историк науки,… …   Википедия

  • Смирнов, Владимир Александрович (профессор) — В Википедии есть статьи о других людях с именем Смирнов, Владимир Александрович. Смирнов Владимир Александрович Дата рождения: 1928 год(1928) Гражданство …   Википедия

  • Смирнов Дмитрий Александрович — Смирнов (Дмитрий Александрович) писатель (1819 1866); образование получил в Московском университете. Привел в порядок материалы для биографии Грибоедова (дальнего его родственника), часть которых была напечатана в Русском Слове 1852 г. ( Черновая …   Биографический словарь

  • Смирнов, Владимир — В Википедии есть статьи о других людях с такой фамилией, см. Смирнов. Владимир Смирнов: Смирнов, Владимир Александрович: Смирнов, Владимир Александрович (род. 1948) российский актёр театра и кино, Народный артист России. Смирнов, Владимир… …   Википедия

  • Смирнов, Дмитрий Александрович — исследователь литературной истории "Горя от ума", биограф Грибоедова, беллетрист и общественный деятель; род. 4 августа 1819 г. в дворянской семье, в родовом имении Сущеве, Владимирской губернии и уезда, в семи верстах от Владимира.… …   Большая биографическая энциклопедия

  • Смирнов, Алексей Александрович — В Википедии есть статьи о других людях с такой фамилией, см. Смирнов. В Википедии есть статьи о других людях с именем Смирнов, Алексей. Алексей Смирняга Смирнов Алексей Александрович Смирнов Дата рождения: 26 ноября 1983 …   Википедия

  • Смирнов, Борис Александрович (актёр) — Смирнов Борис Александрович Дата рождения: 13 (26) октября 1908(1908 10 26) Место рождения: Санкт Петербург, Российская империя Дата смерти …   Википедия

  • Смирнов, Дмитрий Александрович (писатель) — В Википедии есть статьи о других людях с такой фамилией, см. Смирнов. В Википедии есть статьи о других людях с именем Смирнов, Дмитрий Александрович. Дмитрий Александрович Смирнов Дата рождения: 1819 год(1819) Дата смерти …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»